feat(spec-specs): EIP-7708 ETH Transfers Emit a Log by Carsons-Eels · Pull Request #2023 · ethereum/execution-specs

Carsons-Eels · 2026-01-14T13:44:39Z

🗒️ Description

All ETH-transfers, including transactions, CALL and SELFDESTRUCT emit a log.

Add a LOG3 like functionality that logs all transfers in the Ethereum system for CALL* and SELFDESTRUCT.

🔗 Related Issues or PRs

EIPs#9003

Summary

Update EIP definition in line with comments from Eth Magicians.

Status

✔️ Merged

Proposed Changes

Aspect	Original EIP	Proposals	Accepted?
Log Address	`0x00...00` (nil)	`0xff...fe` (`SYSTEM_ADDRESS`)	❓ Active Debate¹
MAGIC Topic	TBD	`keccak256("Transfer(address,address,uint256)")`	✔️ Accepted
Fee Logs	Not Included	Optional LOG2 after execution	❌ Rejected²
Withdrawals	Not Included	Covered by EIP-7799	❌ Rejected³
Add special condition `SELFDESTRUCT` @ self log	Not Included	Emit LOG2	✔️ Accepted
`SELFDESTRUCT` @ self topic[0]	Not Included	`keccak256('Selfdestruct(address,uint256)')`	✔️ Accepted

EIPs#11127

Summary

Clarify SELFDESTRUCT event

Status

✔️ Merged

Proposed Changes

Aspect	Pre-merge EIP	Proposals	Accepted?
`SELFDESTRUCT` @ self topic[1]	`from` address (zero prefixed to fill uint256)	Closed `contract_address` (zero prefixed to fill uint256)	✔️ Accepted
Add new `SELFDESTRUCT` @ self case	Not Included	"Any nonzero-value-holding account closure, after any other logs created by EVM execution, but before charging the EIP-1559 priority fee, in lexicographical order of closed account address"	✔️ Accepted

✅ Checklist

All: Ran fast tox checks to avoid unnecessary CI fails, see also Code Standards and Enabling Pre-commit Checks:
```
uvx tox -e static
```
All: PR title adheres to the repo standard - it will be used as the squash commit message and should start type(scope):.
All: Considered adding an entry to CHANGELOG.md.
All: Considered updating the online docs in the ./docs/ directory.
All: Set appropriate labels for the changes (only maintainers can apply labels).
Tests: Ran mkdocs serve locally and verified the auto-generated docs for new tests in the Test Case Reference are correctly formatted.

Cute Animal Picture

“Little brown bat” by U.S. Fish and Wildlife Service Headquarters, CC BY 2.0

System Address (0xff..fe) is being used for now, but this question is still open and needs to be resolved. A shared call for debate might be the best way to deal with this. ↩
Too much uncertainty about the number of logs produced. A new EIP could be created if this is deemed a valuable addition ↩
Different enough to warrant it's own EIP. ↩

codecov · 2026-01-14T14:26:50Z

Codecov Report

❌ Patch coverage is 99.07834% with 2 lines in your changes missing coverage. Please review.
✅ Project coverage is 86.14%. Comparing base (c14e9c9) to head (bf16746).

Files with missing lines	Patch %	Lines
...ethereum/forks/amsterdam/vm/instructions/system.py	33.33%	1 Missing and 1 partial ⚠️

Additional details and impacted files

@@                     Coverage Diff                     @@
##           eips/amsterdam/eip-7708    #2023      +/-   ##
===========================================================
+ Coverage                    86.07%   86.14%   +0.07%     
===========================================================
  Files                          599      599              
  Lines                        39527    39491      -36     
  Branches                      3780     3782       +2     
===========================================================
  Hits                         34021    34021              
+ Misses                        4872     4848      -24     
+ Partials                       634      622      -12

Flag	Coverage Δ
unittests	`86.14% <99.07%> (+0.07%)`	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

spencer-tb

Thanks for getting the ball rolling! I've been looking at the spec, discussions in magicians & EIPs#9003, and I think we should target a minimal spec for devnet-2. The same as EIPs#9003 but without fee payments/withdrawals:

So we have these 3 triggering the log:

Any nonzero-value-transferring transaction, before any other logs created by EVM execution
Any nonzero-value CALL, at the time that the value transfer executes
Any nonzero-value-transferring SELFDESTRUCT, at the time that the value transfer executes

Using (as in EIPs#9003):

SYSTEM_ADDRESS = 0xfffffffffffffffffffffffffffffffffffffffe
topics[0] = keccak256('Transfer(address,address,uint256)')

Leaving the following for future discussion and devnets:

System address & magic values (topics[0])
Fee payment logs
Withdrawal logs

Given the above please see comments below.

Ohh and can we make this target an ethereum/eips/amsterdam/eip-7708 branch?

spencer-tb · 2026-01-14T16:17:52Z

 from ..trie import Trie

 __all__ = ("Environment", "Evm", "Message")
+MAGIC_XACTION_LOG_HASH = keccak256(b"42")


Suggested change

MAGIC_XACTION_LOG_HASH = keccak256(b"42")

TRANSFER_TOPIC = keccak256(b"Transfer(address,address,uint256)")

SYSTEM_ADDRESS = Address(bytes.fromhex("fffffffffffffffffffffffffffffffffffffffe"))

spencer-tb · 2026-01-14T17:51:20Z

+    transfer_log(
+        evm,
+        message.current_target,
+        message.caller,
+        message.value,
+    )


I think execute_code runs for every contract, including nested CALLs, so CALL logs once in system.py, then again here.

Suggested change

transfer_log(

evm,

message.current_target,

message.caller,

message.value,

)

Following some chats with claude, I think we should put this in process_message_call, inside the success branch:

if message.value > 0: # nonzero-value-transferring transaction from spec padded_sender = left_pad_zero_bytes(message.caller, 32) padded_recipient = left_pad_zero_bytes(message.current_target, 32) tx_transfer_log = Log( address=SYSTEM_ADDRESS, topics=( TRANSFER_TOPIC, Hash32(padded_sender), Hash32(padded_recipient), ), data=message.value.to_be_bytes32(), ) logs = (tx_transfer_log,) + logs

With the latter we log for "nonzero-value-transferring transactions" and do not duplicate logs for CALL.

Ideally, calls to emit_transfer_log() should go next to calls to move_ether(). There two calls to move_ether(), in selfdestruct() and in process_message(). In selfdestruct() the situation is straightforward.

Unfortunately process_message() doesn't have access to the EVM object, because it is created in execute_code(). I think the best solution is the inline execute_code() into process_message(). No one else calls execute_code() and I can see no reason for the two functions to be distinct.

danceratopz · 2026-01-15T10:18:45Z

@Carsons-Eels @spencer-tb just a heads up, I just created a new target branch eips/amsterdam/eip-7708 for this EIP and changed the PR's target branch to point to that.

spencer-tb · 2026-01-15T12:05:58Z

Tagging the EIPs PR: ethereum/EIPs#9003

petertdavies

I've left a few comments. My opinions on proposed changes to the EIP:

Log address change: Sensible and uncontroversial
Topic change: Good idea and uncontroversial
Withdrawals: This has been deferred to a future EIP for sound technical reasons
Fee logs: This needs to be dealt with in the EIPs repo, before getting merged here.

petertdavies · 2026-01-15T14:09:05Z

+    transfer_log(
+        evm,
+        message.current_target,
+        message.caller,
+        message.value,
+    )


Ideally, calls to emit_transfer_log() should go next to calls to move_ether(). There two calls to move_ether(), in selfdestruct() and in process_message(). In selfdestruct() the situation is straightforward.

Unfortunately process_message() doesn't have access to the EVM object, because it is created in execute_code(). I think the best solution is the inline execute_code() into process_message(). No one else calls execute_code() and I can see no reason for the two functions to be distinct.

marioevz · 2026-01-19T22:05:09Z

Needs a rebase to forks/amsterdam to incorporate BAL changes.

* feat(tests): Add additional invalid inputs * feat(tests): Add tests for zero gas, 3450 gas * feat(tests): Test precompiles in traditional range, and one outside range * feat(tests): Check return status * feat(tests): Test wrong endianness * fix(tests): Remove brittle storage check

fselmo · 2026-01-20T19:53:38Z

Another rebase with latest eips/amsterdam/eip-7708 (which is already rebased with latest forks/amsterdam) will fix the static checks here. There were unfortunately some large changes that bubbled up here.

* feat(test): port static context static tests to python Port STATICCALL tests with zero and non-zero value to precompiles * feat(test): split into legacy test and high-level API test + parametrize - Inspired by comment: ethereum#1960 (comment) - Split the unreadable bytecode test from the comment where we can parametrize with all precompiles as well as with call_value = [0 and nonzero]. * chore: parametrize CREATE2 from Constantinople (where introduced) * refactor: address comments from PR ethereum#1960 * feat(tests): Add BAL expectations for static call tests >=Amsterdam * refactor(test): Update test name, add to BAL test_cases.md * chore: convert to state_test --------- Co-authored-by: Mario Vega <marioevz@gmail.com>

fselmo · 2026-01-21T23:34:53Z

    )
    charge_gas(evm, message_call_gas.cost + extend_memory.cost)
-
+    if evm.message.is_static and value != U256(0):


This is duplicated. It's higher up in the method in line 407.

fselmo · 2026-01-21T23:39:28Z

+        raise WriteInStaticContext
    evm.memory += b"\x00" * extend_memory.expand_by
+
+    # OPERATION


If we want to add this, let's be consistent with CALLCODE, STATICCALL, and DELEGATECALL and add this above the evm.memory += ... line. They include memory expansion as part of the # OPERATION.

ethereum#2058)

…lance

Carsons-Eels requested review from petertdavies and spencer-tb January 14, 2026 13:45

Carsons-Eels self-assigned this Jan 14, 2026

Carsons-Eels force-pushed the eips/amsterdam/eip-7708 branch from d2ee487 to dd32088 Compare January 14, 2026 16:37

spencer-tb reviewed Jan 14, 2026

View reviewed changes

spencer-tb added this to the amsterdam milestone Jan 14, 2026

Carsons-Eels marked this pull request as ready for review January 14, 2026 22:45

danceratopz changed the title ~~feat(src): EIP-7708 ETH Transfers Emit a Log~~ feat(spec-specs): EIP-7708 ETH Transfers Emit a Log Jan 15, 2026

danceratopz changed the base branch from forks/amsterdam to eips/amsterdam/eip-7708 January 15, 2026 10:06

petertdavies requested changes Jan 15, 2026

View reviewed changes

Carsons-Eels force-pushed the eips/amsterdam/eip-7708 branch from 59fe575 to e57d4c2 Compare January 16, 2026 03:11

spencer-tb mentioned this pull request Jan 16, 2026

All Core Devs - Testing (ACDT) #66, January 19, 2026 ethereum/pm#1878

Closed

3 tasks

marioevz modified the milestones: amsterdam, bal devnet-2 Jan 19, 2026

marioevz mentioned this pull request Jan 19, 2026

feat(test-tests): add eip-7708 eth transfer log tests and framework support Carsons-Eels/execution-specs#2

Merged

Carsons-Eels force-pushed the eips/amsterdam/eip-7708 branch 2 times, most recently from f2619e5 to 6f70107 Compare January 20, 2026 18:11

Carsons-Eels force-pushed the eips/amsterdam/eip-7708 branch from 6f70107 to f9ce54a Compare January 20, 2026 21:15

fselmo reviewed Jan 21, 2026

View reviewed changes

feat(tests): turn on EIP-7934 tests with BALs (fill all for amsterdam) (

3b9b018

ethereum#2058)

Carsons-Eels force-pushed the eips/amsterdam/eip-7708 branch 2 times, most recently from 64417cc to 7d15971 Compare January 22, 2026 04:58

Carsons-Eels and others added 17 commits January 22, 2026 00:01

feat(spec-specs): Add transfer log for all CALL* and SELFDESTRUCT

f98d725

fix(spec-specs): correct CR issues, fix formatting

e82e5a3

fix(spec-specs): inline execute_code() to process_message()

cd2c014

chore(spec-specs): backport changes

7495813

fix(spec-specs): trim out whitespace in topic hash to match tests

9316b95

feat(test-specs): add transaction log verification support

474371c

feat(test-tests): add eip-7708 eth transfer log tests

726ca61

feat(spec-specs): add selfdestruct event topic and logging function

87e76ef

feat(spec-specs): selfdestruct to self emits selfdestruct event

e1aa252

feat(spec-specs): define call success constant

bd6815c

test(test-tests): add selfdestruct topic and use empty account

a90aeb5

test(test-tests): add nested calls log ordering test

86a7b1d

feat(test-tests): add selfdestruct finalization test

464bd01

feat(spec-specs): emit selfdestruct finalization log for remaining ba…

e43a134

…lance

fix(test-tests): use spaces in event signature to match spec

0bef4c9

fix(spec-specs): Refactor topic strings to match EIP

f451d62

fix(spec-specs): emit account closure logs in lexicographical order

b008409

Carsons-Eels force-pushed the eips/amsterdam/eip-7708 branch from 7d15971 to b008409 Compare January 22, 2026 05:03

fix(spec-tests): formatting fixes so static checks pass

bfa2cf0

Carsons-Eels merged commit bfa2cf0 into ethereum:eips/amsterdam/eip-7708 Jan 22, 2026
15 of 16 checks passed

Carsons-Eels deleted the eips/amsterdam/eip-7708 branch January 22, 2026 05:34

This was referenced Jan 22, 2026

fix(spec-specs): Move account closure log emission before priority fee charges #2059

Merged

refactor(spec): refactor execute_code into process_message #2061

Merged

spencer-tb mentioned this pull request Jan 22, 2026

EIP-7708 Implementation Tracker: ETH transfers emit a log #1875

Open

17 tasks

	MAGIC_XACTION_LOG_HASH = keccak256(b"42")
	TRANSFER_TOPIC = keccak256(b"Transfer(address,address,uint256)")
	SYSTEM_ADDRESS = Address(bytes.fromhex("fffffffffffffffffffffffffffffffffffffffe"))

Conversation

Carsons-Eels commented Jan 14, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

🗒️ Description

🔗 Related Issues or PRs

Summary

Status

Proposed Changes

Summary

Status

Proposed Changes

✅ Checklist

Cute Animal Picture

Footnotes

Uh oh!

codecov Bot commented Jan 14, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Codecov Report

Uh oh!

spencer-tb left a comment

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

danceratopz commented Jan 15, 2026

Uh oh!

spencer-tb commented Jan 15, 2026

Uh oh!

petertdavies left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Choose a reason for hiding this comment

Uh oh!

marioevz commented Jan 19, 2026

Uh oh!

fselmo commented Jan 20, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

6 participants

Carsons-Eels commented Jan 14, 2026 •

edited

Loading

codecov Bot commented Jan 14, 2026 •

edited

Loading

fselmo commented Jan 20, 2026 •

edited

Loading